Доказательство с нулевым разглашением

Brevis — платформа проверяемых вычислений на базе Zero-Knowledge Proofs (ZK), известная как «Бесконечный вычислительный уровень» для Web3. Суть работы заключается в том, что ресурсоёмкие вычисления выполняются офчейн, а Блокчейн подтверждает только краткое доказательство.

Pico zkVM — модульная Zero-Knowledge виртуальная машина (zkVM) с открытым исходным кодом, разработанная Brevis (BREV). С её помощью разработчики могут создавать любую вычислительную логику на Rust и получать Zero-Knowledge Proof (ZK), который подтверждает правильность выполнения вычислений.

ZK дата-копроцессор решает проблему недоступности исторических данных для смарт-контрактов. Он обеспечивает офчейн-получение исторических или кроссчейн-данных из архивных узлов, выполнение вычислений и возврат доказательства с нулевым разглашением, подтверждающего результат, а также подлинность и корректность информации. Контракт может проверить такое доказательство ончейн за миллисекунды. Процесс передачи данных включает четыре этапа: запрос от приложения, офчейн-вычисление, генерация ZK-доказательства и ончейн-проверка с получением результата. Это позволяет делать надежные выводы без необходимости повторного воспроизведения всех данных.

Оракулы в первую очередь передают внешние офчейн-данные в блокчейн. Их надежность обеспечивают узлы и экономические стимулы. ZK-сопроцессоры, например Brevis, предназначены для проверяемых вычислений на основе уже имеющихся ончейн-исторических данных. Они используют доказательства с нулевым разглашением, что дает возможность напрямую валидировать результаты на блокчейне. Эти технологии работают на противоположных участках потока данных в блокчейне и дополняют друг друга по направлениям передачи информации, моделям доверия и вычислительным возможностям. Их границы не являются строго фиксированными; в реальных условиях обычно применяют гибридные совместные подходы.

BREV — нативный токен сети Brevis, который выполняет три ключевые функции: оплату комиссии за доказательство, стейкинг пруверов и управление протоколом. coChain работает как блокчейн proof-of-stake с механизмами стейкинга и слэшинга на основе Ethereum. Валидаторы отправляют свои результаты как «предложения» в цепочку запросов, после чего открывается окно для оспаривания. Если некорректное предложение успешно оспаривается с помощью zero-knowledge proof, соответствующий стейк слэшится на Ethereum. Если оспаривание не происходит, результат принимается автоматически, что снижает затраты на доказательство.

Ключевое различие между Manta Pacific и Manta Atlantic — их функциональное назначение: Pacific — модульная сеть Уровня 2 на Ethereum, предназначенная для развертывания и масштабирования децентрализованных приложений с нулевым разглашением (ZK); Atlantic — сеть Уровня 1 на Polkadot, также на ZK, но сфокусированная на ончейн-инфраструктуре идентификации для соблюдения нормативных требований через zkAddress и zkSBT. Обе цепи входят в экосистему Manta Network и используют единый нативный утилитный токен MANTA, однако различаются по архитектуре базовых экосистем, технологическим стекам и целевым аудиториям.

Manta Network (MANTA) представляет собой модульную блокчейн-экосистему для приложений с нулевым разглашением (ZK). В её состав входят Manta Pacific, модульная сеть Уровня 2 в экосистеме Ethereum, и Manta Atlantic, сеть Уровня 1 с поддержкой ZK на базе Polkadot. Сеть Pacific использует уровень доступности данных Celestia совместно со средой исполнения EVM/zkEVM, что позволяет поддерживать децентрализованные приложения. Atlantic, в свою очередь, фокусируется на ончейн-комплаентных идентификаторах, предоставляя программируемую инфраструктуру для идентификации с нулевым разглашением на основе zkSBT и zkAddress.

Universal Circuits — это готовая библиотека ZK-схем, работающая на Manta Pacific. Разработчики на Solidity могут подключать функциональность с нулевым разглашением к своим DApps через стандартные интерфейсы смарт-контрактов — без необходимости переходить на специализированные ZK-языки наподобие Cairo. Среди типовых применений: платежи с соблюдением нормативных требований, проверка личности и ончейн-игры, например zkShuffle.

zkAddress и zkSBT — ключевые компоненты конфиденциальной идентификации, разработанные Manta Network на базе блокчейна Manta Atlantic. zkAddress предоставляет многоразовые приватные адреса в формате UTXO, а zkSBT привязывает к ним комплаенс-данные с помощью доказательств с нулевым разглашением. Вместе они формируют инфраструктуру идентификации, соответствующую нормативным требованиям на блокчейне Atlantic, что позволяет приложениям Web3 проверять личность пользователей, не раскрывая их исходные персональные данные.

Перевод активов через мост в Manta Pacific включает повторяющийся процесс блокировки, майнинга и сопоставления балансов между основной сетью Ethereum и Manta Pacific, модульной сетью Уровня 2, через кроссчейн-мост. Будучи исполнительным уровнем Manta Network в экосистеме Ethereum, Manta Pacific обеспечивает ончейн-развертывание и взаимодействие для ETH, ERC-20 и других активов. Чтобы участвовать в приложениях экосистемы на стороне Pacific, пользователям необходимо сначала разобраться, как активируется мост, как изменяются внутренние состояния системы и как проверить, что средства поступили.

Zcash Orchard представляет собой защищенный пул транзакций третьего поколения в сети Zcash, созданный на базе системы доказательств с нулевым разглашением Halo 2. Его цель — повысить эффективность, масштабируемость и долгосрочную модернизируемость приватных операций. По сравнению с предыдущими версиями, Sprout и Sapling, Orchard снижает зависимость от доверенной настройки, а также оптимизирует процессы генерации и верификации доказательств.

Основной механизм работы Nockchain заменяет традиционные хэш-вычисления PoW на доказательства с нулевым разглашением. В Nockchain майнеры больше не конкурируют за блоки с помощью бессмысленных хэш-операций. Вместо этого они создают проверяемые доказательства, чтобы участвовать в консенсусе сети. Архитектура Nockchain включает такие компоненты, как NockVM, NockApp, Proofpower и Global Consensus SNARKs, которые вместе образуют децентрализованную сеть доказательств, поддерживающую ИИ, приложения для конфиденциальности и проверяемые вычисления.

Nockchain — это блокчейн-сеть на базе Zero-Knowledge Proof-of-Work (ZKPoW). Её главная цель — заменить бессмысленные хэш-вычисления в традиционном PoW на генерацию проверяемых и практически ценных доказательств с нулевым разглашением (ZK proving). В отличие от Bitcoin, где всё решает конкуренция хэшрейта, Nockchain направляет вычислительные ресурсы майнеров на создание верифицируемых вычислительных доказательств, формируя тем самым модель «Useful Proof of Work».

И Railgun, и Tornado Cash относятся к ончейн-протоколам конфиденциальности, однако их подходы к проектированию и работе кардинально различаются. Tornado Cash действует скорее как анонимный миксер, используя пулы с фиксированным номиналом для разрыва связей между средствами. В свою очередь, Railgun представляет собой протокол Private DeFi на базе zk-SNARK, который поддерживает приватные аккаунты, конфиденциальные транзакции и анонимное взаимодействие со смарт-контрактами.

Railgun — это протокол DeFi, ориентированный на конфиденциальность, построенный на блокчейнах EVM. Он использует zk-SNARK доказательства с нулевым разглашением, чтобы скрывать адреса пользователей, балансы активов, суммы транзакций и ончейн-активность, при этом сохраняя совместимость с экосистемными протоколами, такими как Ethereum, Arbitrum и BNB Chain. В отличие от традиционных монет конфиденциальности или миксеров, Railgun не требует отдельного блокчейна — вместо этого он позволяет проводить приватные транзакции и анонимное взаимодействие со смарт-контрактами напрямую в основной сети.